Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update VS Code Browser to 1.73.1 #18914

Merged
merged 2 commits into from
Oct 12, 2023
Merged

Update VS Code Browser to 1.73.1 #18914

merged 2 commits into from
Oct 12, 2023

Conversation

filiptronicek
Copy link
Member

@filiptronicek filiptronicek commented Oct 12, 2023

Description

Update code to 1.73.1

Progress

How to test

  • Switch to VS Code Browser Insiders in settings.
  • Start a workspace.
  • Test the following:
    • terminals are preserved and resized properly between window reloads
    • WebViews are working
    • extension host process: check language smartness and debugging
    • extension management (installing/uninstalling)
    • install the VIM extension to test web extensions
    • that user data is synced across workspaces as well as on workspace restarts, especially for extensions
      • extensions from .gitpod.yml are not installed as sync
      • extensions installed as sync are actually synced to all new workspaces
    • settings should not contain any mentions of MS telemetry
    • WebSockets and workers are properly proxied
      • diff editor should be operable
      • trigger reconnection with window.WebSocket.disconnectWorkspace(), check that old WebSockets are closed and new opened of the same amount
    • workspace specific commands should work, i.e. F1 → type Gitpod
    • that a PR view is preloaded when opening a PR URL
    • test gp open and gp preview
    • test open in VS Code Desktop, check gp open and gp preview in task/user terminals
    • telemetry data like vscode_extension_gallery is collected in Segment

Preview status

Gitpod was successfully deployed to your preview environment.

Werft options:

  • /werft with-preview
  • /werft analytics=segment
  • /werft with-large-vm

@roboquat roboquat merged commit 49ebd66 into main Oct 12, 2023
144 of 158 checks passed
@roboquat roboquat deleted the ide/code-stable branch October 12, 2023 16:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants